Najdłuższy dowód matematyczny w historii

1 czerwca 2016, 09:33

Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.



Uderzenie komety zapisane w płaskorzeźbach

25 kwietnia 2017, 11:07

Naukowcy z Uniwersytetu w Edynburgu uważają, że płaskorzeźby z megalitycznego słupa ze stanowiska archeologicznego Göbekli Tepe w południowo-wschodniej Turcji stanowią dowód, że młodszy dryas, trwające ponad 1000 lat minizlodowacenie, zapoczątkowało uderzenie komety. Co ważne, na taki właśnie przebieg zdarzeń wskazywały wcześniejsze badania rdzeni lodowych z Grenlandii.


Infekcja w TSMC dotknie producentów smartfonów

6 sierpnia 2018, 12:58

Infekcja wirusem komputerowym, do jakiej doszło w TSMC wywołała obawy o ciągłość dostaw 7-nanometrowych układów scalonych. Infekcja nie mogła wydarzyć się w gorszym momencie. Trzeci kwartał roku to szczyt sezonu dla producentów układów


Polski wkład w budowę komputera kwantowego

17 maja 2019, 12:11

Scharakteryzowanie i optymalizacja obliczeń kwantowych wykonywanych przez kubity, czyli podstawowe jednostki komputera kwantowego to zadanie, jakie postawili przed sobą polscy fizycy i informatycy, zrzeszeni w projekcie TEAM-NET, kierowanym przez prof. Marka Kusia. Rezultaty ich badań będą kolejną cegiełką dołożoną do budowy komputera kwantowego, nad którym usilnie pracują naukowcy i przedsiębiorstwa z całego świata.


Prezydent Biden proponuje 50 miliardów USD na wsparcie rodzimego przemysłu półprzewodnikowego

2 kwietnia 2021, 11:27

Od kilkunastu miesięcy USA i poszczególne kraje Europy próbują zmniejszyć swoje uzależnieni od dostaw półprzewodników z zagranicy i chcą odbudować możliwości produkcyjne swojego przemysłu półprzewodnikowego. Jednak tego typu działania mogą spalić na panewce.


Interfejs mózg-komputer pozwolił na precyzyjne sterowanie wirtualnym dronem

23 stycznia 2025, 13:31

Wszczepiony do mózgu interfejs mózg-komputer umożliwiły osobie z paraliżem czterokończynowym (tetraplegią) precyzyjne sterowanie wirtualnym dronem. Wystarczyło, że sparaliżowany myślał o poruszaniu palcami dłoni.


Automatyczny tłumacz IBM-a

14 października 2006, 08:35

Amerykańska armia w Iraku otrzymała oprogramowanie, które tłumaczy język angielski na arabski i arabski na angielski. System Mastor (Mutltilingual Automatic Speech-to-Speech Translator) to dzieło IBM-a.


Red Hat w Czechach

16 stycznia 2007, 16:05

Red Hat, twórca jednych z najbardziej popularnych dystrubucji Linuksa, założył w Czechach swoje centrum badawczo-rozwojowe. Firma ma podobne centra w Kalifornii i Australii, jednak centrum w Brnie jest największym poza siedzibą główną firmy, która mieści się w Bostonie.


Silverlight - microsoftowy konkurent Flasha

16 kwietnia 2007, 13:05

Microsoft zaprezentował konkurencję dla technologii Flash, przeznaczoną dla przeglądarek wtyczkę Silverlight. Ma ona umożliwić odtwarzanie plików muzycznych, filmowych i uruchamianie interaktywnych aplikacji sieciowych.


© IBM

Open source dla osób starszych

21 listopada 2007, 12:44

IBM we współpracy z dwoma uniwersytetami pracuje nad opensource’owymi technologiami dla osób starszych. W prace zaangażowane jest T.J. Watson Research Center oraz profesorowie Peter Gregor z University of Dundee (Wielka Brytania) i Sara Czaja z University of Miami (USA).


Zostań Patronem

Od 2006 roku popularyzujemy naukę. Chcemy się rozwijać i dostarczać naszym Czytelnikom jeszcze więcej atrakcyjnych treści wysokiej jakości. Dlatego postanowiliśmy poprosić o wsparcie. Zostań naszym Patronem i pomóż nam rozwijać KopalnięWiedzy.

Patronite

Patroni KopalniWiedzy